- function of infinite type
- функция бесконечного [максимального] типа
English-Russian scientific dictionary. 2008.
function of infinite type
Смотреть что такое "function of infinite type" в других словарях:
Type inference — Type inference, or implicit typing, refers to the ability to deduce automatically the type of a value in a programming language. It is a feature present in some strongly statically typed languages. It is often characteristic of but not limited to … Wikipedia
Function (mathematics) — f(x) redirects here. For the band, see f(x) (band). Graph of example function, In mathematics, a function associates one quantity, the a … Wikipedia
Type theory — In mathematics, logic and computer science, type theory is any of several formal systems that can serve as alternatives to naive set theory, or the study of such formalisms in general. In programming language theory, a branch of computer science … Wikipedia
Infinite loop — This article is about the programming term. For the street on which Apple Inc. s campus is located, see Infinite Loop (street). An infinite loop (also known as an endless loop) is a sequence of instructions in a computer program which loops… … Wikipedia
function — /fungk sheuhn/, n. 1. the kind of action or activity proper to a person, thing, or institution; the purpose for which something is designed or exists; role. 2. any ceremonious public or social gathering or occasion. 3. a factor related to or… … Universalium
Type-2 Gumbel distribution — Probability distribution name =Type 2 Gumbel| type =density pdf cdf parameters =a! (real) b! shape (real) support = pdf =a b x^{ a 1} e^{ b x^{ a! cdf =e^{ b x^{ a! mean = median = mode = variance = skewness = kurtosis = entropy = mgf = char = In … Wikipedia
Infinite descent — In mathematics, a proof by infinite descent is a particular kind of proof by contradiction which relies on the fact that the natural numbers are well ordered. One typical application is to show that a given equation has no solutions. Assuming a… … Wikipedia
Bessel function — In mathematics, Bessel functions, first defined by the mathematician Daniel Bernoulli and generalized by Friedrich Bessel, are canonical solutions y(x) of Bessel s differential equation: for an arbitrary real or complex number α (the order of the … Wikipedia
Artin L-function — In mathematics, an Artin L function is a type of Dirichlet series associated to a linear representation ρ of a Galois group G . These functions were introduced in the 1923 by Emil Artin, in connection with his research into class field theory.… … Wikipedia
Generating function — This article is about generating functions in mathematics. For generating functions in classical mechanics, see Generating function (physics). For signalling molecule, see Epidermal growth factor. In mathematics, a generating function is a formal … Wikipedia
Recursive type — In computer programming languages, a recursive type is a data type for values that may contain other values of the same type.An example is the list type, in Haskell: data List a = Nil | Cons a (List a) This indicates that a list of a s is either… … Wikipedia
